<%
	String path = request.getContextPath();
	String basePath = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+path+"/";
	request.setCharacterEncoding("utf-8");
	String pShipMmsi=(String)(request.getParameter("shipMmsi"));
	String pRecTime=(String)(request.getParameter("recTime"));
	String pShipName=(String)(request.getParameter("shipName"));
	if (null==pShipMmsi) {pShipMmsi="";}
	if (null==pShipName || "undefined".equals(pShipName)) {
		pShipName="";
	} else {
		pShipName=new String(pShipName.getBytes("ISO-8859-1"),"UTF-8");
	}
	if (null==pRecTime) {
		pRecTime="";
	}
%>